package constraint;

import java.util.List;

import choco.Constraint;

import common.MCore;
import common.MElement;

import expression.MIntVar;

public abstract class MConstraint extends MElement {

	public MConstraint(MCore c) {
		super(c);
	}	
	
	public abstract Constraint constraint();
	
	public abstract List<MIntVar> getVariables();
	
	public abstract MConstraint eval();
}
